Proof net - PDFSEARCH.IO - Document Search Engine

Proof net
Results: 331

#	Item
101	How To Play Almost Any Mental Game Over The Net — Concurrent Composition via Super-Polynomial Simulation Boaz Barak∗ Department of Computer Science Princeton University Princeton, New Jersey Add to Reading List Source URL: www.boazbarak.org Language: English - Date: 2011-10-10 23:49:36 Secure multi-party computation Zero-knowledge proof Standard model IP Random oracle Communications protocol Commitment scheme NP Transmission Control Protocol Cryptography Cryptographic protocols Secure two-party computation
102	Prawitz’s proof-theoretic account of consequence John MacFarlane — Philosophy 142 March 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-15 15:24:03 Logical consequence Critical thinking Propositional calculus Natural deduction Disjunctive syllogism Validity Entailment Philosophy of mathematics Inference Logic Deduction Arguments
103	PPCoin: Peer-to-Peer Kryptowährung mit Proof-of-Stake Sunny King, Scott Nadal (, ) 19. August 2012 Auszug Peercoin ist eine Peer-to-Peer Kryptowährung, welche auf dem Design Add to Reading List Source URL: www.peercoin.net Language: German - Date: 2014-03-30 13:50:01
104	PPCoin: Peer-to-Peer Crypto-Currency with Proof-of-Stake Sunny King, Scott Nadal (, ) August 19th, 2012 Abstract A peer-to-peer crypto-currency design derived from Satoshi Naka Add to Reading List Source URL: www.peercoin.net Language: English - Date: 2014-03-30 13:50:01 Peer-to-peer computing Numismatics Cryptography Coins of the United States Proof-of-work system Peer-to-peer Penny United States dollar Australian one-cent coin Currency Software Bitcoin
105	PPC: 一种P2P（点对点）的权益证明(Proof of Stake)密码学货币（修订版） Sunny King, Scott Nadal (, ) 8月 19日, 2012年 Add to Reading List Source URL: www.peercoin.net Language: Chinese - Date: 2014-03-30 13:50:01
106	피피코인(Peercoin): 피어 투 피어(Peer-to-Peer) 암호화된 통화(CryptoCurrency)와 지분증명 (Proof-of-Stake) Sunny King, Scott Nadal (, ) (Translation provided Add to Reading List Source URL: www.peercoin.net Language: Korean - Date: 2014-03-30 13:50:01
107	REBATE TERMS, CONDITIONS, AND INSTRUCTIONS Mail In Rebate 1. Purchase a qualified product listed on this form between the purchase dates ofthroughGo to http://www.4myrebate.com/?oc=TDto Add to Reading List Source URL: static.highspeedbackbone.net Language: English - Date: 2015-04-21 15:26:09 Accounts payable Proof of purchase Invoice Marketing Business Sales promotion Rebate
108	Peercoin: Cripto-Moneda Peer-to-Peer con Proof-of-Stake Sunny King, Scott Nadal (, ) (Traducción al español por MrBickle ) 19 de agosto de 2012 Resumen Add to Reading List Source URL: www.peercoin.net Language: Spanish - Date: 2014-03-30 13:50:01
109	Prior’s tonk John MacFarlane — Philosophy 142 March 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-15 15:06:47 Logical consequence Metalogic Philosophy of mathematics Entailment Rule of inference Inference Negation Proof theory Rudolf Carnap Logic Propositional calculus Logical syntax
110	REBATE TERMS, CONDITIONS, AND INSTRUCTIONS MIR 1. Purchase a qualified product listed on this form between the purchase dates ofthroughGo to http://www.4myrebate.com/?oc=TDto claim your Add to Reading List Source URL: static.highspeedbackbone.net Language: English - Date: 2015-04-14 15:52:55 Accounts payable Proof of purchase Marketing Sales promotion Rebate Business

UPDATE